German Word Order and \linearization" in Type-logical Grammar

We demonstrate how the type-theoretical approach to integrating syntax and semantics provides a straightforward, coherent and empirically accurate account of the basic facts of German word order. We focus on the order of adjuncts and arguments in the clause core for a representative range of German construction types: subordinate verb-nal, interrogative verb-initial, declarative verb-second, and interrogative wh-clause-initial and verb-second. Our treatment is based on the logic of concatenation (Lambek's associative calculus), as extended by a unary modality that allows shuuing.